formal definition of a derivative